You have chosen Parmenides, Conditional Assertion and Restricted Quantification and Conditional Assertion and Restricted Quantification.
All three must be different; choose another text.